For normal subgroups H1, H2,..., Hn G is the internal direct product H1 x H2 x...xHn if

(1) G = H1H2...Hn and
(2) the intersection of H1H2...Hi and Hi +1 = {e} for i = 1, 2,..., n-1.